- N-арный
- (об отношении) N-ary
Русско-английский словарь по вычислительной технике и программированию . 2013.
N-арный
Look at other dictionaries:
Нуль-арный конструктор — В компьютерном программировании нуль арным конструктором (в англ. языке используется термин nullary constructor) называют конструктор, не принимающий аргументы. Содержание 1 Объектно ориентированные конструкторы 1.1 … Википедия
Арность — предиката, операции или функции в математике количество их аргументов, или операндов. Слово образовалось из названий предикатов небольшой арности (унарный один аргумент, бинарный два, тернарный три). Также для этих целей… … Википедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
камфорный — к амфорный и камф арный (к амфорное д ерево; но: к амфорное и камф арное м асло, к амфорный камф арный сп ирт) … Русский орфографический словарь
стогектарный — стогект арный (100 гект арный) … Русский орфографический словарь
унарный — ая, ое; рен, рна, рно. [от лат. ūnus один и части ...ārius из слов (бин)арный, (терн)арный]. Спец. Состоящий из одной части, одного компонента; являющийся одинарным. О ая связь. О ое отношение … Энциклопедический словарь
